$\vdash$  $\forall$$A$:$\mathbb{P}$. ($A$ $\vee$ False) $\Leftarrow\!\Rightarrow$ $A$